Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini. An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 8:1-8:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{caoson_et_al:OASIcs.ICLP.2016.8,
author = {Cao Son, Tran and Pontelli, Enrico and Gelfond, Michael and Balduccini, Marcello},
title = {{An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {8:1--8:4},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.8},
URN = {urn:nbn:de:0030-drops-67383},
doi = {10.4230/OASIcs.ICLP.2016.8},
annote = {Keywords: Agents, ASP, Reasoning, Knowledge}
}
Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)
Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{gallagher_et_al:LIPIcs.ICLP.2011,
title = {{LIPIcs, Volume 11, ICLP'11, Complete Volume}},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-31-6},
ISSN = {1868-8969},
year = {2013},
volume = {11},
editor = {Gallagher, John P. and Gelfond, Michael},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011},
URN = {urn:nbn:de:0030-drops-41055},
doi = {10.4230/LIPIcs.ICLP.2011},
annote = {Keywords: Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods, and Se}
}
Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)
Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. i-ix, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{gallagher_et_al:LIPIcs.ICLP.2011.i,
author = {Gallagher, John P. and Gelfond, Michael},
title = {{Frontmatter, Table of Contents, Preface, Conference Organization}},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
pages = {i--ix},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-31-6},
ISSN = {1868-8969},
year = {2011},
volume = {11},
editor = {Gallagher, John P. and Gelfond, Michael},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.i},
URN = {urn:nbn:de:0030-drops-31581},
doi = {10.4230/LIPIcs.ICLP.2011.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface, Conference Organization}
}
Feedback for Dagstuhl Publishing